1. Automated Reasoning
Author: / Alessandro Armando, Peter Baumgartner, Gilles Dowek (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Automatic theorem proving--Congresses,Computer logic--Congresses
2. Automated reasoning
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Automatic theorem proving ; Congresses. ; Computer logic ; Congresses. ;
3. Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001 : proceedings
Author: Rajeev Gore, Alexander Leitsch, Tobias Nipkow )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Computer logic
Classification :
QA
76
.
L28
Vol
.
2083
4. Automated reasoning : second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings
Author: David Basin, Michael Rusinowitch )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Computer logic
Classification :
QA
76
.
L28
Vol
.
3097
5. Automated reasoning : third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings
Author: Ulrich Furbach, Natarajan Shankar )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Computer logic
Classification :
QA
76
.
L28
Vol
.
4130
